Nuprl Definition : int_iseg
12,41
postcript
pdf
{
i
...
j
} == {
k
:
| (
i
k
) & (
k
j
)}
latex
Definitions
{
x
:
A
|
B
(
x
)}
,
,
P
&
Q
,
A
B
FDL editor aliases
int_iseg
origin
| (i 
k) & (k j)} | (i k) & (k j)} B